DoNotFireLiteralCatchAllForNeutrals.agda:16,13-20
⊤ !=< NotNull s of type Set
when checking that the expression trivial has type NotNull s
